If E is a finite extension of F, then E is an algebraic extension of F.